144 search results for "tag:"ca""

Showing 51 - 100
  1. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  2. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 56 other packages
    13 Nov 2021
  3. ezjsonm-lwt
    Documentation
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    13 Nov 2021
  4. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 8 other packages
    02 Feb 2019
  5. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin et al.
    28.1
    LGPL-2.1-only
    Used by 4 other packages
    04 Mar 2024
  6. frama-c-base

    No documentation

    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  7. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  8. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2024
  9. frama-clang
    Documentation
    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.15
    LGPL-2.1-only
    Used by 0 other packages
    03 Apr 2024
  10. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  11. gasoline
    Documentation
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    04 Jul 2016
  12. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  13. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  14. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  15. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    20 Feb 2024
  16. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  17. immutable

    No documentation

    Pure Reason implementation of persistent immutable data structures.
    reason reasonml ocaml immutable
    Dave Bordoley <bordoley@gmail.com>
    0.0.15
    BSD-3-Clause
    Used by 0 other packages
    16 May 2017
  18. ip2location
    Documentation
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.1.0
    MIT
    Used by 0 other packages
    28 Apr 2023
  19. ip2locationio
    Documentation
    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.0.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  20. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    18 Oct 2023
  21. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  22. llvmgraph
    Documentation
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  23. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  24. lru-cache
    Documentation
    A simple implementation of a LRU cache
    cache
    Maxence Guesdon
    0.3.0
    BSD-3-Clause
    Used by 1 other packages
    04 Apr 2017
  25. lutin
    Documentation
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  26. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  27. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  28. mirror

    No documentation

    Mirror upstream OPAM package distribution files
    org:ocamllabs org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    0.0.1
    ISC
    Used by 0 other packages
    05 Aug 2015
  29. module-graph
    Documentation
    The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  30. OCADml
    Documentation
    Types and functions for building CAD packages in OCaml
    OCADml CAD
    Geoff deRosenroll<geoffderosenroll@gmail.com
    0.6.0
    GPL-2.0-or-later
    Used by 2 other packages
    01 May 2023
  31. OSCADml
    Documentation
    OCaml DSL for 3D solid modelling in OpenSCAD
    OCADml CAD OpenSCAD CSG
    Geoff deRosenroll<geoffderosenroll@gmail.com Masaki Nakano<namachan10777@gmail.com>
    0.2.3
    GPL-2.0-or-later
    Used by 1 other packages
    03 May 2023
  32. obi
    Documentation
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    13 Jun 2018
  33. ocaml-migrate-parsetree
    Documentation
    Convert OCaml parsetrees between different versions
    syntax org:ocamllabs
    Frédéric Bour <frederic.bour@lakaban.net> Jérémie Dimino <jeremie@dimino.org>
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    17 Jun 2022
  34. ocaml-migrate-parsetree-ocamlbuild
    Documentation
    Ocamlbuild plugin for ocaml-migrate-parsetree
    syntax org:ocamllabs
    Jérémie Dimino <jeremie@dimino.org>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    11 Jan 2019
  35. ocaml-top
    Documentation
    The OCaml interactive editor for education
    org:ocamlpro gui teaching toplevel
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    09 Feb 2023
  36. ocaml-version
    Documentation
    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    3.6.7
    ISC
    Used by 9 other packages
    22 Apr 2024
  37. ocamlbuild-pkg
    Documentation
    An ocamlbuild plugin that helps packaging softwares.
    ocamlbuild package plugin build build-system
    Kate <kit.ty.kate@disroot.org>
    0.2.1
    MIT
    Used by 1 other packages
    18 Nov 2016
  38. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    05 Mar 2015
  39. ocb-stubblr
    Documentation
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 14 other packages
    13 Oct 2018
  40. ocp-browser
    Documentation
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.3.6
    GPL-3.0-only
    Used by 0 other packages
    27 Feb 2024
  41. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    24 Oct 2019
  42. ocp-indent-nlfork
    Documentation
    ocp-indent library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.4
    LGPL-3.0-or-later
    Used by 2 other packages
    07 Feb 2020
  43. ocp-index
    Documentation
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.3.6
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 5 other packages
    27 Feb 2024
  44. ocp-pack-split
    Documentation
    ocp-pack and ocp-split
    org:ocamlpro
    Fabrice Le Fessant Thomas Gazagnaire
    1.0.1
    Used by 0 other packages
    21 Aug 2015
  45. ocp-reloc
    Documentation
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Aug 2018
  46. ocp-search
    Documentation
    The ocp-search tool to index/search source packages
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Mar 2022
  47. ocplib_stuff
    Documentation
    Basic stuff used by some OCP libraries and tools
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    28 Apr 2023
  48. odoc-depgraph
    Documentation
    Custom OCamldoc generator to insert clickable dependency graphs in generated html page
    ocamldoc graph
    Maxence Guesdon
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    08 Apr 2015
  49. oframl
    Documentation
    Farcaster Frames in OCaml
    topics Farcaster Frames
    Noah Citron
    0.0.1
    MIT
    Used by 0 other packages
    07 Feb 2024
  50. omd
    Documentation
    A Markdown frontend in pure OCaml
    org:ocamllabs org:mirage
    Philippe Wang <philippe.wang@gmail.com> Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    2.0.0~alpha4
    ISC
    Used by 21 other packages
    24 Jul 2023
1 2 3